Computable model theory - PDFSEARCH.IO - Document Search Engine

Computable model theory
Results: 195

#	Item
191	A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:30 Computability theory Formal methods Models of computation Theory of computation Algorithm FO Turing machine Lookup table Computability Theoretical computer science Applied mathematics Mathematics
192	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic
193	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
194	FlyerWTO04/11GB.ai Add to Reading List Source URL: www.wto.org Language: English - Date: 2009-02-10 08:43:20 Economics Computable general equilibrium Economic model Macroeconomic model World Trade Organization Social accounting matrix General equilibrium theory Gravity model of trade Doha Development Round International trade International relations Business
195	PDF Document Add to Reading List Source URL: www.newschool.edu Language: English - Date: 2008-11-17 16:43:27 Macroeconomics General equilibrium theory National accounts Economic model Applied general equilibrium Macroeconomic model Computer algebra systems Input-output model Wassily Leontief Economics Mathematical economics Computable general equilibrium

UPDATE